perm filename MAIL[BOO,JMC]1 blob sn#481803 filedate 1979-10-18 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	LISP: Programming and Proving
C00004 ENDMK
CāŠ—;
LISP: Programming and Proving


John and Audrey Laski \cr
18 Ebury St. \cr
London SW1, England \cr

Joachim Laubsch \cr
Inst. fur Informatik \cr 
Azenbergstrasse 12 \cr
d7000 Stuttgart, West Germany \cr

D. Ribbens \cr
Institute d'Electricit\'e Montefiore, B 28 \cr
Universit\'e de Li\`ege du Sart Tilman \cr
B-4000 Li\`ege, Belgium \cr

Dr. V. M. Volchkov\cr
Institute for High Energy Physics\cr
Serpukhov, Moscow region, USSR\cr

Cohen Shimon \cr 
Faculty of Applied Mathematics \cr
Weizmann Institute of Science \cr
P. O. B. 26 \cr
Rehovot, Israel \cr

Georg Loew\cr 
Kleinstr. 60\cr
D-8000 M\"unchen 70\cr
West Germany\cr|